Minimal counterexamples and discharging method
نویسنده
چکیده
Recently, the author found that there is a common mistake in some papers by using minimal counterexample and discharging method. We first discuss how the mistake is generated, and give a method to fix the mistake. As an illustration, we consider total coloring of planar or toroidal graphs, and show that: if G is a planar or toroidal graph with maximum degree at most κ − 1, where κ ≥ 11, then the total chromatic number is at most κ.
منابع مشابه
The 1, 2, 3-Conjecture and 1, 2-Conjecture for sparse graphs
The 1, 2, 3-Conjecture states that the edges of a graph without isolated edges can be labeled from {1, 2, 3} so that the sums of labels at adjacent vertices are distinct. The 1, 2-Conjecture states that if vertices also receive labels and the vertex label is added to the sum of its incident edge labels, then adjacent vertices can be distinguished using only {1, 2}. We show that various configur...
متن کاملSome results on maximal open sets
In this paper, the notion of maximal m-open set is introduced and itsproperties are investigated. Some results about existence of maximal m-open setsare given. Moreover, the relations between maximal m-open sets in an m-spaceand maximal open sets in the corresponding generated topology are considered.Our results are supported by examples and counterexamples.
متن کاملAlgorithmic Verification of Intransitive Noninterference for 3-domain Security Policies with a SAT Solver
In this paper we propose an automated verification approach to checking intransitive noninterference for deterministic finite state systems. Our approach is based on the counterexamples search verification strategy, and is conducted in gradual manner. It produces counterexamples of minimal length. Further, we reduce the counterexamples search to propositional satisfiability. For the case that t...
متن کاملOn the connectivity of minimum and minimal counterexamples to Hadwiger's Conjecture
The main result of this paper is the following: Any minimal counterexample to Hadwiger’s Conjecture for the k-chromatic case is 2k 27 -connected. This improves the previous known bound due to Mader [W. Mader, Über trennende Eckenmengen in homomorphiekritischen Graphen, Math. Ann. 175 (1968) 243–252], which says that any minimal counterexample to Hadwiger’s Conjecture for the k-chromatic case is...
متن کاملA Sequent Calculus for Integer Arithmetic with Counterexample Generation
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedure and simplifier during interactive verification and as an automated tool for discharging (ground) proof obligations. There are four main components: a complete procedure for linear equations, a complete procedure for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1403.0622 شماره
صفحات -
تاریخ انتشار 2014